set(ARITH_LIBS "gmp")